Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🔧Hardware Verification
Condor Technology To Fly “Cuzco” RISC-V CPU Into The Datacenter
nextplatform.com·2h·
Discuss: Hacker News
🧩RISC-V
What is Algebraic about Algebraic Effects?
interjectedfuture.com·2h
✨Algebraic Effects
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·2h
📝ABNF Parsing
Back from Open Source Summit Europe 2025: talks from Bootlin
bootlin.com·9h
⚙️Operating System Design
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
✅Format Verification
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·2h·
Discuss: Hacker News
🔍RISC-V Forensics
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·6h·
Discuss: Hacker News
🔗Lisp
Programming the TMS9918A Video Display Processor
bumbershootsoft.wordpress.com·1d
🎮Gameboy Emulation
Refurb weekend: Silicon Graphics Indigo² IMPACT 10000
oldvcr.blogspot.com·1d·
Discuss: oldvcr.blogspot.com
🧲RISC-V Archaeology
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·12h·
Discuss: r/golang, r/programming
🔧RISC-V Assembler
A Breadboard Computer in Three Chips
hackaday.com·2d
🖥️Hardware Architecture
You can't test if quantum uses complex numbers
algassert.com·7h·
Discuss: Hacker News
🔐Quantum Security
A simple way to automate RHEL VM creation
marcin.juszkiewicz.com.pl·1d
🔌Operating system internals
Greyscale-box test-driven development
blog.ploeh.dk·2m
🧪Property-Based Testing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🔗Lisp
I built a configurable ADB-to-USB adaptor to use a vintage 1990 Apple keyboard with modern Windows and USB — modern keyboards and magnetic switches can't compet...
tomshardware.com·6h
⌨️Mechanical Keyboards
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·15h
🎯Performance Proofs
AMD Turin PSP binaries analysis from open-source firmware perspective
blog.3mdeb.com·21h·
Discuss: Hacker News
🔌Operating system internals
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🔗Topological Sorting